TSTP Solution File: ITP150^2 by Nitpick---2016